Valuations and Higher Level Orders in Commutative Rings
نویسنده
چکیده
Valuation theory is one of the main tools for studying higher level orders and the reduced theory of forms over fields, see, for example [BR]. In [MW], the theory of higher level orders and reduced forms was generalized to rings with many units and many of the results for fields carried over to this setting. While it seems desirable to extend these results further, the techniques used for rings with many units will not work for general commutative rings. At the same time, there is a general theory of valuations in commutative rings (see [LM], [M], and [G]), which in [Ma] was used to study orders and the reduced theory of quadratic forms over general commutative rings. Thus it seems natural to ask if the connections between valuations and higher level orders in fields exist in commutative rings. In this paper we use valuation theory to study the space of orders and the reduced Witt ring relative to a higher level preorder in a commutative ring. As in [Ma], we first localize our ring at a multiplicative set, without changing the space of orders, in order to make the valuation theory work better. This is a standard idea from real algebraic geometry. Remarkably, many of the notions, methods, and results for fields carry over to this new setting. We define compatiblity between valuations and orders and preorders, and the ring A(T ) associated to a preorder T , which turns out to be Prüfer ring as in the field case. We define the relation of dependency on the set of valuations associated to a preorder and we use this to prove a decomposition theorem for the space of orders. We can then apply this to show that, under a certain finiteness condition, the space of orders is equivalent to the space of orders of a preordered field.
منابع مشابه
On the commuting graph of non-commutative rings of order $p^nq$
Let $R$ be a non-commutative ring with unity. The commuting graph of $R$ denoted by $Gamma(R)$, is a graph with vertex set $RZ(R)$ and two vertices $a$ and $b$ are adjacent iff $ab=ba$. In this paper, we consider the commuting graph of non-commutative rings of order pq and $p^2q$ with Z(R) = 0 and non-commutative rings with unity of order $p^3q$. It is proved that $C_R(a)$ is a commutative ring...
متن کاملThe Isomorphism Relation Between Tree-Automatic Structures
An ω-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for ω-tree-automatic structures. We prove first that the isomorphism relation for ω-treeautomatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative gro...
متن کاملOn Commutative Reduced Baer Rings
It is shown that a commutative reduced ring R is a Baer ring if and only if it is a CS-ring; if and only if every dense subset of Spec (R) containing Max (R) is an extremally disconnected space; if and only if every non-zero ideal of R is essential in a principal ideal generated by an idempotent.
متن کاملExact annihilating-ideal graph of commutative rings
The rings considered in this article are commutative rings with identity $1neq 0$. The aim of this article is to define and study the exact annihilating-ideal graph of commutative rings. We discuss the interplay between the ring-theoretic properties of a ring and graph-theoretic properties of exact annihilating-ideal graph of the ring.
متن کامل